Philosophe hors du commun, François Châtelet (1925-1985) a profondément marqué le paysage intellectuel français du XXe siècle. Cofondateur, avec Michel Foucault et Gilles Deleuze, du département de philosophie du Centre universitaire expérimental de Vincennes, aujourd'hui Université Paris VIII, il a dirigé ce département jusqu'à sa mort. Les textes réunis ici se composent de quatre articles de François Châtelet devenus introuvables et une série de textes de philosophes qui mettent en valeur, tant ses talents d'historien de la philosophie, de pédagogue que (...) de philosophe engagé. C'est tout un ensemble de souvenirs d'un philosophe médiatique qui est donné à lire, luttant par l'histoire des concepts contre l'orthodoxie marxiste. François Châtelet fut le cofondateur avec Jacques Derrida, Jean-Pierre Faye et Dominique Lecourt du Collège international de philosophie. Il militait pour la pratique d'une philosophie ouverte et populaire et n'a eu de cesse de décloisonner la philosophie et de l'ouvrir pour la mettre en commun. (shrink)

The notion of subjectivity with which the argument will be carried out may be defined as our ability to reflect critically, to think creatively and to act resolutely in our relation to society and nature. Some essential marks of subjectivity are illustrated through an example taken from rescue operation conducted in the fall of 2010 for the miners trapped in deep underground at the San Jose mine site in Chile for 69 days. With the science and technology applied in constructing (...) the drilling rigs and making the capsule which lifted up the trapped miners to freedom, ingenuity, the resilient sense of mission and perseverance of the rescue personnel, and the purposeful solidarity among the trapped miners are among the decisive factors contributing to the successful accomplishment of the rescue undertaking.At this critical juncture of the current global economic downturn, it is consequential for us to bring ourselves to reflecting on the seriousness of the predicament which all humanity is in. It is indeed time for the intellectuals to rise up to share responsibility in keeping our world sustainable by setting purposive and resolute subjectivity before themselves and coming forward to tenaciously find ways toward renewing ourselves as well as toward the continuing betterment of humanity. (shrink)

Résumé Comme toute construction de l’esprit humain, les idéologies et les utopies sont des produits de la raison et de l’imagination sociale. Les interactions humaines dont elles se nourrissent se trouvent aujourd’hui intensifiées par des processus de mondialisation et de globalisation. Par nature ambitieux, les projets utopiques consistent en rêves de liberté et d’égalité mais le caractère volontariste de leur mise en œuvre les éloigne bien souvent de leurs objectifs déclarés. Ainsi l’utopie verse bien souvent dans l’idéologie. L’utopie pour survivre (...) doit passer par un processus de « mondialisation » permettant aux idées de différentes cultures de se développer et de mûrir les unes au contact des autres. En tissant des liens entre individus et entre cultures, ce processus pourrait définir les contours d’une société civile globale en constante évolution. La mondialisation des conceptualisations qui nous transforment et nous motivent, comme l’inclusivité globale des droits de l’homme, la liberté et la justice, forgent une éthique de paix pour l’émergence au-delà des frontières, d’une Société élargie telle que l’avait envisagée le philosophe américain John Dewey. (shrink)

I. Philosophie scientifique et Syntaxe logique. Nécessité d’une interprétation. — II. Logique et mathématique. La distinction kantienne : « analytique »-« synthétique » est remplacée par une distinction entre « formel » et « objectif ». Touchant ici la mathématique et la logique, on traite surtout du côté objectif : qui, en mathématique, consiste dans l’existence de rapports mathématiques, indépendants de la formulation en proposition, et dans la véri- ficabilité de lois arithmétiques ; en logique, dans le rapport implicite des (...) termes et des principes à certains caractères de la réalité. — III. Arithmétique et géométrique sont distingués selon la considération du discret et du continu. Précision formelle des concepts mathématiques intuitifs. — IV. Pour la problématique des fondements. Réflexions et indications sur la situation présente des recherches. (shrink)

Après les guerres du siècle dernier qui ont remis en cause l'idée de progrès, devant les formes multiples des guerres actuelles, peut-on encore penser la paix aujourd'hui? A l'encontre des idées conservatrices de la paix où cette dernière, conçue comme ordre et stabilité, a souvent été le corrélat des Etats policiers, la pensée de la paix, telle que l'élabore Levinas, relève d'une critique de l'autoritarisme politique et permet d'élaborer un nouveau concept de liberté affranchi de la tutelle des Etats. La (...) paix n'est pas ici une idée abstraite mais porte le sujet hors de toutes les formes de confort moral ou de conformisme politique. C'est à un Levinas neuf que nous avons ici à faire : tout en dialoguant avec la tradition moderne et contemporaine de la philosophie politique, il nous montre que la paix est une forme d'insubordination qui aspire à "désembourgeoiser la révolution". Une lecture intranquille de Levinas. (shrink)

Les articles de ce recueil discutent les principes de la pensee mathematique qui ont fait le partage entre les trois fameuses options philosophiques: logicisme, formalisme et intuitionnisme. Leur auteur, Paul Bernays, fut un des plus proches collaborateurs de David Hilbert, qui a si profondement marque de son empreinte les mathematiques du XXe siecle et la philosophie construite a leur sujet. Defenseur de l'infini, de la methode axiomatique, des structures generales, des raisonnements abstraits, de la formalisation logique, Hilbert a investi (...) une grande energie pour ancrer ces audacieuses conquetes sur le terrain balise et controlable du fini, de l'intuitif, du concret, du constructible. Les essais de Bernays sont un precieux guide pour mieux s'orienter dans la pensee logique et philosophique de Hilbert et se debarasser une bonne fois des prejuges hatifs qui jalonnent les opinions ressassees sur le formalisme, le finitisme, le platonisme, etc. Mais ces essais nous decouvrent aussi un penseur libre, parlant de sa propre voix. Sensible a la pluralite des approches possibles, assumant le risque de se rectifier sans cesse, mesure dans sa visee d'une certitude pratique plutot que d'une verite absolue, Bernays defend l'idees que les mathematiques ne sont pas un reservoir de connaissance, mais une activite de l'esprit reagissant a des situations. (shrink)

Est‐il possible d'exposer une doctrine sans la comparer et l'opposer à d'autres doctrines, proches ou éloignées ? Et pour faire bien ressortir ce qui lui appartient en propre, ne faut‐il pas établir une utile dispute avec tels ou tels points de vue qui semblent au premier abord ne pas trop s'en écarter? La question que les trois brèves études critiques qui suivent cherchent à. mettre en lumière est des plus importante: c'est l'idée même de la cohérence de la vie intellectuelle (...) qu'elles abordent. Leur but est moins de critiquer autrui nue de s'exposer elles‐mêmes à la critique. (shrink)

Cet ouvrage constitue une introduction à la pensée politique de Raymond Aron (1905-1983). Après être revenu sur l'itinéraire intellectuel et politique complexe de celui qui se définissait comme un " spectateur engagé ", il présente et analyse ses contributions à différents champs du savoir : la sociologie des sociétés modernes, la théorie des régimes politiques, la philosophie politique, l'étude des relations internationales et la philosophie de l'histoire. Ce livre a pour ambition de faciliter l'accès d'une nouvelle génération de lecteurs à (...) la pensée de ce " classique méconnu ". Il repose sur une relecture qui se veut distanciée et sereine de l'ensemble de l'œuvre, et sur la prise en compte des acquis récents de la recherche française et internationale. Ce faisant, il vise aussi à dresser un panorama des différentes interprétations se déployant actuellement au sein des études aroniennes. (shrink)

ZusammenfassungAn Hand der Betrachtung einiger Hauptzüge in der neueren Entwicklung der Philosophie des logischen Empirismus und nahestehender Richtungen wird dargelegt, wie die Korrektur der zu simplifizierenden Thesen in dem ursprünglichen Programm der Wiener Schule auf eine Auseinandersetzung mit den traditionellen erkenntnistheoretischen Problemen zurückführt. — P.B.RésuméCe travail prend en considération certains développements récents de l'empirisme logique et des points de vues apparentés. Ces développements tendent sinon à un abandon, du moins à une revision de certaines positions par trop simplificatrices, tout d'abord (...) occupées par l'Ecole de Vienne. Or, ce faisant, on se trouve amené à rendre leur sens plein aux questions philosophiques qu'on pensait avoir pu écarter.Newer trends of development in the schools of logical empirism are considered. It is shown how, by the correction of the original too simplifying theses of the Vienna school, one becomes reduced to the study of the traditional problems of the philosophy of science. — P. B. (shrink)

Neste artigo tenta-se uma aproximação do pensamento de E. Levinas em sua busca de aberturas no discurso-do-serpara a emergência ética do sentido, de um Sentido desconstrutor dos sentidos constituídos, Sentido dos sentidos e do não-sentido. Trata-se, assim, de uma tentativa de superação do esquecimento mais tipico do centralismo da nossa tradição de pensamento: o da Intriga, que é também tensão, do Outro no seio do Mesmo - ou seja, da Transcendência na e à ordem do mundo. Mais do que o (...) esquecimento do Ser, é o esquecimento do Outro que está na origem da presente crftica à filosofia estabelecida - "visibilidade do Mesmo para o Mesmo". Assim, entendendo-se a si mesmo como pequeno ensaio de abertura a uma "ontologia do Exilio" - "ontologia relational", capaz de renunciar ao primado dos esquemas de uma constituição transcendental do sentido e ao privitégio tradicionalmente concedido à manifestação e à presença -, o presente artigo fazuma abordagem do tratamento dado por E. Levinas (prestando em certo momento também atenção ao caminho colateral de M. Heidegger) a três fundamentais dimensões do nosso ser-no-mundo - a interrogação, a linguagem e o corpo - em ordem a uma redefinição do Sentido e da Inteligibilidade da Transcendência, ou seja, à produção de um discurso aberto à vivacidade do enigma que é a presença do Outro no seio do Mesmo. O resultado é como que uma prova em ordem a uma (futura) "filosofia da encarnação", de um pensamento da subjectividade humana em termos de "maternidade e vulnerabilidade", de um ser-aberto à intriga da relação radical no ser. /// Cet article essaye une approximation de la pensée de E. Levinas en cherchant des ouvertures dans le discours-de-l'être à l'émergence éthique du sens, sens déconstructeur des sens constitués, Sens du sens et du non-sens. Il s'agit, done, d'essayer une supération de l'oubliement le plus typique du centralisme de notre tradition de la pensée: l'oubliement de l'Intrigue, qui est aussi tension, de l'Autre dans le Mdme, e'est-à-dire de la Transcendance dans et à l'ordre du monde. Plus qu'oubliement de l'être, e'est l'oubliement de l'Autre qui est à l'origine de la présente critique à la philosophie établie - "visibilité du Même pour le Même". Se comprenant soi-même comme un petit essai d'ouverture à une "ontologie de l'Exile" - "ontologie relationelle", capable de renoncer au primat des schèmes d'une constitution transcendantale du sens et au privilège traditionellement donné par E. Levinas à la manifestation et à la présence, cet article considère le traitement donné par E. Levinas (avec quelque attention au chemin colllatéral de M. Heidegger) à trois dimensions fondamentales de notre être-dans-le-monde - l'interrogation, le langage et le corps - pour une redéfinition du Sens et de l'Intelligibilité de la Transcendance, c'est-à-dire pour un discours ouvert à l'énigme qui est la présence de l'Autre dans le Même. Le résultat est une façon d'épreuve pour une (future) philosophie de l'incarnation, d'une pensée de la subjectivité humaine par rapport à la maternité et vulnérabilité, d'un "être-ouvert à l'intrigue de la relation radical dans l'être. /// In this article an attempt is made to approach Levinas's thought from the perspective of his search for openings that can be discovered in ontological discourse and that point towards the emergence of meaning as ethical, of Meaning which deconstructs constituted meanings, the Meaning of meanings and of non-meaning. It involves an overcoming of the kind of forgetting which is central to our philosophical tradition: that of Intrigue, the tension of the Other in the heart of the Same, i. e., of Transcendence in the order of the world. More than the forgetting of Being, it is the forgetting of the Other that is at the source of the criticism of established philosophy - "the visibility of the Same for itself". In proposing an "ontology of exile", a "relational ontology", capable of renouncing the primacy of transcendental constitution of meaning and the privilege given to manifestation and presence, this article considers Levinas's treatment (with some attention given to Heidegger in this regard) of three fundamental dimensions of our being-in-the-world: interrogation, language, and the body. A redefinition of Meaning and of Inteligibility of Transcendence is thereby sought by being attentive to the production of a discourse which is sensitive to the enigma of the Other in the Same. The possibility of a (future) philosophy of incarnation, where human subjectivity can be thought of in terms of maternity and vulnerability to the degree that it is open to the intrigue in the heart of being, is being tested here. (shrink)

Eighteen articles concerning modern logic by Ackermann, Carnap, Curry, Gödel, Heyting, among others, reprinted from the double issue of the review Dialectica for 1958.--L. S. F.

The proposition that a decreasing sequence of ordinals necessarily terminates has been given a new, and perhaps unexpected, importance by the rôle which it plays in Gentzen's proof of the freedom from contradiction of the “reine Zahlentheorie.” Gödel's construction of non-demonstrable propositions and the establishment of the impossibility of a proof of freedom from contradiction, within the framework of a certain type of formal system, showed that a proof of freedom from contradiction could be found only by transcending the axioms (...) and proof processes of that formal system. Gentzen's proof succeeds by utilisingtransfinite inductionto prove that certain sequences of reduction processes, enumerated by ordinals less than ε (the first ordinal to satisfy ε = ὡ) are finite. Were it possible to provethe restricted ordinal theorem, that a descending sequence of ordinals, less thanε, is finite, in Gentzen's “reine Zahlentheorie,” then it would be possible to determine a contradiction in that number system. In his paper, Gentzen proves the theorem of transfinite induction, which he requires, by an intuitive argument. There is also a method of reducing transfinite induction, for ordinals less than ε, to a number-theoretic principle given by Hilbert and Bernays, and a similar method by Ackermann. None of these proofs of transfinite induction isfinitist. (shrink)

Je lui ai associÉ un court extrait d'une revue de questions portant sur le même thème. Implicit memory is revealed when previous experiences facilitate perf on a task that does not require conscious or intentional recollection of those expces. Explicit memory is revealed when perf on a task requires conscious recolelction of previous expces. Il s'agit de defs descriptives qui n'impliquent pas l'existence de deux systs de mÉmo sÉparÉs. Historiquement Descartes est le premier ˆ faire mention de phÉnomènes de mÉmo (...) implicites, Leibniz, Maine de Biran, Bergson en ont Également parlÉ. Korsakoff (1889) avec ses travaux sur les amnÉsiques montre qu'ils sont capables d'utiliser de l'info qu'ils ont acquises dans des Épisodes rÉcents sans pour autant manifester le moindre souvenir de l'Épisode. L'interprÉtation de ces phÉnomènes Était alors que ça renvoyait ˆ des traces en mÉmoire trop tÉnues pour accèder jusqu'au champ de la conscience. Cette interprÉtation va pouvoir être ÉcartÉe par les travaux rÉcents. Thorndike a Également conduit un nbre important de travaux sur MI. Les trauvaux un peu plus rÉcents ont montrÉ qu'un apprentissage antÉrieur pouvait faciliter une perfce sans qu'il y ait ref explicite à l'Épisode d'apprentissage. On a montrÉ aussi l'effet de stimuli subliminaux, qui en tant que tels ne peuvent pas être rappelÉs consciemment, mais qui influencent la conduite ou les jugts ultÉrieurs. Par ex, la prÉsentation de formes sur des temps très courts qui excluent la possibilitÉ d'une perception consciente influence significativement lechoix de formes dans une pÉreuve ultÉrieure de choix forcÉs où les sjts doivent indiquer la forme qu'il prÉfère entre deux. Ils choisissent prÉfÉrentiellement celles qui leur ont ÉtÉ prÉsentÉes de manière subliminale. De même Bargh et al. ont montrÉ que des sjts soumis de manière subliminale ˆ des mots hostiles portent ultÉrieurement des jugts plus nÉgatifs sur une personne target. Il ya Également eu des travaux sur l'apprsge ou le condt without awareness en particulier apprsge implicite de règles de grammaire (ie le sjt peut construire de nouvelles phrases conformes ˆ la syntaxe de celles qui lui ont ÉtÉ prÉsentÉes sans pour autant petre capables d'noncer les règles de grammaire qu'il utilise) Rem: N'est ce pas un pbe de typemÉtacognition??? Enfin, tous les travaux sur le priming sont des elts en faveur de MI: Facilitation in the processing of a stimulus as a function of a recent encounter with the same stimulus. Type de perfce sur lesquels les effets de priming ont ÉtÉ dÉmontrÉs: -T‰ches de dÉcision lexicale: Le sjt doit dire si la cha"ne de caractères qu'on lui prÉsente est un mot ou pas: Le temps de latence est beaucoup plus court si la cha"ne a dÉjˆ ÉtÉ prÉsentÉe une première fois. -Mesures de temps d'identification de mots en rpÉsentation tachitoscopiques -ComplÉmentation de mots: les sjts ont tendance ˆ complÉter pour crÉer les mots qui leur ont ÉtÉ prÉsentÉs antÉrieurement. L'intÉrêt pour le paradigme de priming se retouve chez les gens qui s'intÉressent ˆ: -reconnaissance de mots et organisation lexicale. les effets de priming permettent de faire des hyps sur l'accès lexical et la reprÉsentation. -M. Épisodique: travux sur les amnÉsiques qui ne se souviennent pas qu'on vient de leur prÉsenter des mots mais qui manifestent une mÉmoire implicite lorsqu'on leur fait faire de la complÉmentation de mots. DISSOCIATION ENTRE M.I. ET M EXPLICITE 1-Si de nombreux travaux montrent que la M explicite est influencÉe par le travail d'Élaboration (profondeur de traitement) en jeu pendant la première phase d'Étude des stimuli, il semble que la MI ne le soit pas. 2-Le changt de modalitÉ (par ex auditif -> visuel) entre la phase d'Étude et la phase de test provoque une attÉnuation importante de l'effet de priming si le test est un test de MI mais pas si c'est un test de ME. 3-Les effets de primings persistent assez largement sur plusieurs jours ce qui n'est pas le cas des perfces ˆ une Épreuve de reconnaissance. 4-Les perfces sur des tests de MI ne semblent pas influencÉes par des manipulations d'interfÉrences proactives ou rÉtroactives dont on sait qu'elles influencent les perfces en ME. 5-Absce de corrÉlation entre perfces ˆ des tests de reconnaissance et perfces ˆ une Épreuve de complÉmentation de mots. SIMILARITES ENTRE PRIMING ET REMEMBERING 1- A certaines conditions les durÉes de rÉtention on des effets parallèles sur les effets de priming et les mesures de ME (REm: en partie contradictoire avec 3 ci dessus) 2-La manipulation du contexte de la liste lors de la phase d'Étude affecte ˆ la fois les perfces en reconnaissance et en identification de mots. 3- ME et MI sont influencÉes par des associations nouvellement acquises entre des paires de mots non reliÉes (Rem: contradictoires avec 4 ci dessus ??) 4- Rem: Le contraire de 1 du pt "dissociation" !!!! dans une manip particulière 5-Johnston et al. ont montrÉ que des mots identifÉs plus rapidement Étaient plus svt jugÉs comme 'old' dans une t‰che de reconnaissance que les mots identifiÉs plus lentement. Il n'est pas exclu que les phÉnomènes que l'on interprètent comme relevant de MI soient parfois de la ME involontaire cad des cas o les cues fournis dans le test conduisent ˆ un souvenir involontaire mais totalement conscient. LES INTERPRETATIONS THEORIQUES DE MI 1-Les effets de priming sur des test de MI sont attribuables ˆ l'activation temporaires de reprÉsentations ou structures de K prÉ-existantes . Cette activation est supposÉe avoir lieu de manière automatique, indÉpendamment des processus d'Élaboration nÉcessaires pour Établir de nouvelles traces Épisodiques. 2- les difÉrences entre ME et MI sont dues ˆ la nature et aux relations entre les processus d'encodage et de rÉcupÉration. Une version de cette approche est celle qui s'appuie sur la distinction entre processus dirigÉs par les donnÉes et processus dirigÉs par les concepts. Ces derniers reflètent des activitÉs initiÉes par le sjt comme l'Élaboration, l'organisation et la reconstruction, c'est sur ce type de processus que reposerait la ME alors que la MI reposerait sur des processus data-driven. 3-ME et MI renvoient ˆ des systs sous jacents diffÉrents. Pour Cohen & Squire (1984), la ME est supportÉe par une M DECLARATIVE , syst qui est en jeu dans la formation de nouvelles reprÉsentations. La MI repose sur un syst PROCEDURAL dans lequel la M se manifeste par des modifications on line de procÉdures ou opÉrations de traitement. Le syst de M Épisodique est vu comme la base pour le souvenir explicite d'evts rÉcents tandis que la M sÉmantique est responsable des perfces sur des tests de MI. Chacune de ces approches est conforme ˆ certaines des donnÉes recueillies mais pas ˆ d'autres. (shrink)

Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy lies in the details of setting up and checking the properties of a coding system representing the syntax of an object language (typically, that of arithmetic) within that same language. These details are seldom illuminating and tend to obscure the core of the argument. For this reason a number of efforts have been made to present the essentials of the proofs of Gödel’s theorems without getting (...) mired in syntactic or computational details. One of the most important of these efforts was made by Löb [8] in connection with his analysis of sentences asserting their own provability. Löb formulated three conditions (now known as the Hilbert-Bernays-Löb derivability conditions), on the provability predicate in a formal system which are jointly sufficient to yield the Gödel’s second incompleteness theorem for it. A key role in Löb’s analysis is played by (a special case of) what later became known as the diagonalization or fixed point property of formal systems, a property which had already, in essence, been exploited by Gödel in his original proofs of the incompleteness theorems. The fixed point property plays a central role in Lawvere’s [7] category-theoretic account of incompleteness phenomena (see also [10]). Incompleteness theorems have also been subjected to intensive investigation within the framework of modal logic (see, e.g.[4], [5]). In this formulation the modal operator takes up the role previously played by the provability predicate, and the derivability conditions on the latter are translated into algebraic conditions (the so-called GL, i.e., Gödel–Löb, conditions) on the former. My purpose here is to present a framework for incompleteness phenomena, fully compatible with intuitionistic or constructive principles, in which the idea of a coding system is retained, only in a 2 simple, but very general form, a form wholly free of syntactical notions. As codes we shall take the elements of an arbitrary given nonempty set, possibly, but not necessarily, the set of natural numbers.. (shrink)

Modern public relations practices have been dominated by appeals to impulses, desires, and images that affect publics defined predominantly in demographic terms. This paper argues that abandoning basic rhetorical assumptions about the ability of ordinary people to engage in practical reason has serious ethical implications for the marketplace as well as for society in general. The study applies recent rhetorical scholarship on issues of public discourse and rhetorical culture to public relations practices, considering how rhetoric can contribute to more effective (...) and ethical public discourse in our dominant modes of marketplace communication. (shrink)

In his response to my article, “Historicism and Science: Thoughts on Quine” , Paul Bernays distinguishes between two aspects of the article: my criticism of Quine's theory of knowledge and my contention that the epistemological foundations of modern science lead to historicism. Bernays substantially accepts my criticism of Quine, particularly insofar as I reject Quine's behaviorism and “physicalism”. He opposes, however, my claim that historicism is implicit in the presuppositions of modern science. I argued that the historicism inherent (...) in modern science is due to the essentially changeable character of modern science. Quine's theory of knowledge tacitly takes account of this changeable character a) through his view of sense experience as being constituted by posits, b) through his recognition that individual scientific statements are dependent upon a broad linguistic‐conceptual framework that is itself subject to change, and c) through his pragmatic conception of reason and the concomitant emphasis upon the criterion of simplicity. (shrink)

Let NBG be von Neumann-Bernays-Gödel set theory without the axiom of choice and let NBGA be the modification which allows atoms. In this paper we consider some of the well-known class or global forms of the wellordering theorem, the axiom of choice, and maximal principles which are known to be equivalent in NBG and show they are not equivalent in NBGA.

L'histoire des fondements des mathématiques du xxe siècle montre qu'il nous faut réviser la signification des notions philosophiques traditionnelles comme « évidence », « existence », « expérience » ou « rationalité ». On expose comment le logicien Paul Bernays, familier des conceptions de la philosophie de Jacob Friedrich Fries et de Léonard Nelson, donne aux résultats techniques une interprétation philosophique dont il s'inspire de plus en plus - à partir du milieu du siècle - de la « philosophie (...) ouverte » de Ferdinand Gonseth. Bien avant Thomas Kuhn, Bernays conçoit la révision envisagée non pas simplement comme une question de vérité ou de fausseté, mais comme un problème exigeant l'introduction d'un nouveau système conceptuel. Cependant, l'affaiblissement du concept de vérité est pour lui une conséquence épistémologique provenant de la théorie de la connaissance adoptée et non une conséquence méthodologique issue d'un changement de paradigme et donc d'une incommensurabilité. (shrink)

The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S...

Aujourd'hui Emilie du Châtelet est peu ou mal connue, d'où l'urgence de dresser le portrait de la Marquise du Châtelet en philosophe à part entière, et non pas en simple traductrice de Newton, ou en simple compagne de Voltaire. Il est temps de lire Émilie du Châtelet pour elle-même.

The Hilbert–Bernays Theorem establishes that for any satisfiable first-order quantificational schema S, one can write out linguistic expressions that are guaranteed to yield a true sentence of elementary arithmetic when they are substituted for the predicate letters in S. The theorem implies that if L is a consistent, fully interpreted language rich enough to express elementary arithmetic, then a schema S is valid if and only if every sentence of L that can be obtained by substituting predicates of L (...) for predicate letters in S is true. The theorem therefore licenses us to define validity substitutionally in languages rich enough to express arithmetic. The heart of the theorem is an arithmetization of Gödel's completeness proof for first-order predicate logic. Hilbert and Bernays were the first to prove that there is such an arithmetization. Kleene established a strengthened version of it, and Kreisel, Mostowski, and Putnam refined Kleene's result. Despite the later refinements, Kleene's presentation of th.. (shrink)